A New Language Design for Prototyping Numerical Computation

Design, Evaluation and Prototyping of a New Robotic Mechanism for Ultrasound Imaging

This paper presents a new robotic mechanism for ultrasound imaging. The device is placed on a patient's body by an operator, and an ultrasound expert controls the motions of the device to obtain ultrasound images. The paper focuses on the robotic mechanism that performs ultrasound imaging. The design of the mechanism is based on two approaches to produce center of motion for an ultrasound probe...

Practical Techniques for Language Design and Prototyping

Global computing involves the interplay of a vast variety of languages, but practially useful foundations for language specification and prototyping at the semantic level are lacking. In this paper we present a systematic approach consisting of three techniques: 1. A generic calculus of explicit substitutions with names (called CINNI) that allows us to give a first-order representation of synta...

An Overview of Dino - A New Language for Numerical Computation on Distributed Memory Multiprocessors

a new approach to credibility premium for zero-inflated poisson models for panel data

هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...

Tool Support for Language Design and Prototyping with Montages

In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of (imperative/object oriented) programming languages. Introduction Montages [KP97] form a graphical notation for expressing the syntax and semantics of imperative and object oriented languages. Every syntactic construct has its meaning speci ed by a Montage, which consist of a diagram de n...